Uncovering Architectural Mismatch in Component Behavior ; CU-CS-828-97

Uncovering Architectural Mismatch in Component Behavior

When constructing software systems from existing components, the engineer is faced with the problem of potential con icts in the interactions among the components. Of particular di culty is guaranteeing compatibility in the dynamic interaction behavior. Using an architectural description of the system and its intended components, the engineer can reason about the interactions early and at a hig...

Enhancing Architectural Mismatch Detection with Assumptions

Detecting software architecture inconsistencies is a critical issue in software design. Software systems are described in terms of components, component behavior and interaction and mismatch detection is explored through techniques based on behavior analysis. Integration problems, however, are not only caused by behavioral mismatch: components make assumptions about their environment to guarant...

Mismatch Avoidance in Web Services Based Software Architectures

Architectural mismatches are a recognized obstacle to successful software reuse. An architectural mismatch occurs when two or more software components are connected to form a system and those components make differing and incompatible assumptions about their interactions or the environment in which they exist. Mismatch detection and avoidance has been previously discussed in existing literature...

Capturing Architectural Configurability: Variants, Options, and Evolution ; CU-CS-895-99

Behavioral Type Checking of Architectural Components Based on Assumptions ; CU-CS-861-98

A critical challenge faced by the developer of a software system is to understand whether the system’s components correctly integrate. While type theory has provided substantial help in detecting and preventing errors in mismatched static properties, much work remains in the area of dynamics. In particular, components make assumptions about their behavioral interaction with other components, bu...